resolver.d resolver.o: ../resolver.c ../resolver.h ../aux.h \
 ../GUI/backend-publico.h

../resolver.h:

../aux.h:

../GUI/backend-publico.h:
